index{-}of{-}first $x$ in $L$.$P$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$search($\parallel$$L$$\parallel$;$\lambda$$i$.$P$($L$[$i$]))